1

A contribution to the end-extension problem and the Π1 conservativeness problem

Zofia Adamowicz
Journal:
Annals of Pure and Applied Logic
Année:
1993
Langue:
english
Fichier:
PDF, 2.69 MB
english, 1993
2

Existentially Closed Structures and Gödel's Second Incompleteness Theorem

Zofia Adamowicz and Teresa Bigorajska
Journal:
Journal of Symbolic Logic
Année:
2001
Langue:
english
Fichier:
PDF, 183 KB
english, 2001
3

On finite lattices of degrees of constructibility of reals

Adamowicz, Zofia
Journal:
Journal of Symbolic Logic
Année:
1976
Langue:
english
Fichier:
PDF, 678 KB
english, 1976
4

On Maximal Theories

Adamowicz, Zofia
Journal:
Journal of Symbolic Logic
Année:
1991
Langue:
english
Fichier:
PDF, 443 KB
english, 1991
5

A Note on BΣn and an Intermediate Induction Schema

Zofia Adamowicz, Roman Kossak
Journal:
Mathematical Logic Quarterly
Année:
1988
Langue:
english
Fichier:
PDF, 215 KB
english, 1988
7

Editorial

Zofia Adamowicz, Sergei Artemov, Damian Niwiński, Ewa Orłowska, Anna Romanowska, Jan Woleński
Journal:
Annals of Pure and Applied Logic
Année:
2004
Langue:
english
Fichier:
PDF, 134 KB
english, 2004
9

Well-behaved principles alternative to bounded induction

Zofia Adamowicz, Leszek Aleksander Kołodziejczyk
Journal:
Theoretical Computer Science
Année:
2004
Langue:
english
Fichier:
PDF, 248 KB
english, 2004
10

On Herbrand consistency in weak arithmetic

Zofia Adamowicz, Paweł Zbierski
Journal:
Archive for Mathematical Logic
Année:
2001
Langue:
english
Fichier:
PDF, 118 KB
english, 2001
11

On complexity reduction of Σ1formulas

Zofia Adamowicz, Pawe Zbierski
Journal:
Archive for Mathematical Logic
Année:
2003
Langue:
english
Fichier:
PDF, 193 KB
english, 2003
13

On Finite Lattices of Degrees of Constructibility

Zofia Adamowicz
Journal:
Journal of Symbolic Logic
Année:
1977
Langue:
english
Fichier:
PDF, 453 KB
english, 1977
14

On Finite Lattices of Degrees of Constructibility of Reals

Zofia Adamowicz
Journal:
Journal of Symbolic Logic
Année:
1976
Langue:
english
Fichier:
PDF, 258 KB
english, 1976
15

One More Aspect of Forcing and Omitting Types

Zofia Adamowicz
Journal:
Journal of Symbolic Logic
Année:
1976
Langue:
english
Fichier:
PDF, 171 KB
english, 1976
16

A recursive model for arithmetic with weak induction

Adamowicz, Zofia, Morales-Luna, Guillermo
Journal:
Journal of Symbolic Logic
Année:
1985
Langue:
english
Fichier:
PDF, 192 KB
english, 1985
17

Open Induction and the True Theory of Rationals

Adamowicz, Zofia
Journal:
Journal of Symbolic Logic
Année:
1987
Langue:
english
Fichier:
PDF, 239 KB
english, 1987
18

One more aspect of forcing and omitting types

Adamowicz, Zofia
Journal:
Journal of Symbolic Logic
Année:
1976
Langue:
english
Fichier:
PDF, 519 KB
english, 1976
19

A sharp version of the bounded Matijasevich conjecture and the end-extension problem

Adamowicz, Zofia
Journal:
Journal of Symbolic Logic
Année:
1992
Langue:
english
Fichier:
PDF, 1023 KB
english, 1992
20

Open induction and the true theory of rationals

Adamowicz, Zofia
Journal:
Journal of Symbolic Logic
Année:
1987
Langue:
english
Fichier:
PDF, 577 KB
english, 1987
21

EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC

ADAMOWICZ, ZOFIA, CORDÓN-FRANCO, ANDRÉS, LARA-MARTÍN, F. FÉLIX
Journal:
Journal of Symbolic Logic
Année:
2016
Langue:
english
Fichier:
PDF, 217 KB
english, 2016